package ar.edu.caece.pl.asin.model.impl;

import ar.edu.caece.pl.alex.model.IToken;
import ar.edu.caece.pl.alex.model.impl.Token;
import ar.edu.caece.pl.asin.manager.IAnalizadorSintactico;
import ar.edu.caece.pl.asin.manager.impl.AbstractAnalizadorSintactico;
import ar.edu.caece.pl.asin.model.ITokenStream;

public class Factor extends AbstractAnalizadorSintactico implements IAnalizadorSintactico {
	
	/* INICIALIZACION */	
	public Factor ( ITokenStream ts ) {
		super(ts, false);
	}
	public Factor ( ITokenStream ts, boolean debugMode ) {
		super(ts,debugMode);
	}
	
	
	/** 
	 * Devuelve true si reconoce un factor
	 */
	public boolean reconocer () {

		boolean recognized = true; //(asumimos correctitud hasta demostrar lo contrario)
		
		//----------------------------------------------
		//Agrego info de debug de la produccion
		em.debug( "Reconocer Factor:");		//TODO pasarlo a accion semantica
		//----------------------------------------------
		
		/* <FACTOR> -> ( <EXP> ) | 
           				NUMERO   |
           				NUMERO_NAT |
           				IDENTIFICADOR <FACTOR_1> */

		if ( this.getTokenSiguiente().equals( new Token(IToken.TYPE_PARENTESIS_IZQ)) ) {
			
			// <FACTOR> -> ( <EXP> )
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<FACTOR> -> ( <EXP> )", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer Parentesis Izq
			if ( !this.reconocerToken(IToken.TYPE_PARENTESIS_IZQ) ) {
				//El reconocerToken() habria adelantado el tokenStream hasta salir de esta iteracion,
				//entonces no hay que seguir buscando sino salir
				return false;
			}
			
			// Reconocer Expresion
			IAnalizadorSintactico expresion = new Expresion(this.tokenStream,this.debugMode);
			recognized &= expresion.reconocer();
			
			// Reconocer Parentesis Der
			if ( !this.reconocerToken(IToken.TYPE_PARENTESIS_DER) ) {
				return false;
			}
			
		} else if ( this.getTokenSiguiente().equals( new Token(IToken.TYPE_NUM_ENTERO)) ||
					this.getTokenSiguiente().equals( new Token(IToken.TYPE_NUM_NATURAL))) {
			
			// <FACTOR> -> NUMERO   |	NUMERO_NAT
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<FACTOR> -> "+ this.getTokenSiguiente().getTokenText(), this.getTokenSiguiente() );
			//----------------------------------------------

			
			// Reconocer Natural o Integer
			if ( !this.reconocerToken(this.getTokenSiguiente().getType()) ) {
				return false;
			}
		} else if ( this.getTokenSiguiente().equals( new Token(IToken.TYPE_IDENTIFICADOR)) ) {
			
			// <FACTOR> -> IDENTIFICADOR <FACTOR_1>
			
			//----------------------------------------------
			//Agrego info de debug de la produccion
			em.debug( "<FACTOR> -> IDENTIFICADOR <FACTOR_1>", this.getTokenSiguiente() );
			//----------------------------------------------
			
			// Reconocer Identificador
			if ( !this.reconocerToken(IToken.TYPE_IDENTIFICADOR) ) {
				return false;
			}
			
			// Reconocer Factor1
			IAnalizadorSintactico factor1 = new Factor1(this.tokenStream,this.debugMode);
			recognized &= factor1.reconocer();
			
		} else {
			
			//No deberia darse el caso, pero si se llama a reconocer() en un estado incorrecto deberia salir por aqui
			em.error("Se esperaba un factor", this.getTokenSiguiente());
			
			//Tratamiento de errores
			em.recover(this.getClass(), this.tokenStream);
			return false;
		}
		return recognized;
	}
	
	public static boolean primeros(IToken token) {
		return  token.equals( new Token(IToken.TYPE_PARENTESIS_IZQ) ) ||
				token.equals( new Token(IToken.TYPE_NUM_ENTERO) ) ||
				token.equals( new Token(IToken.TYPE_NUM_NATURAL) ) ||
				token.equals( new Token(IToken.TYPE_IDENTIFICADOR) );
	}
}
